Automatic Generation of Test Purposes for Testing Distributed Systems
نویسندگان
چکیده
In this paper, we present an algorithm for generating test purpose descriptions in form of MSC’s from a given labeled event structure that represents the behavior of a system of asynchronously communicating extended finite state machines. The labeled event structure is a non-interleaving behavior model describing the behavior of a system in terms of the partial ordering of events.
منابع مشابه
Optimizing Cost Function in Imperialist Competitive Algorithm for Path Coverage Problem in Software Testing
Search-based optimization methods have been used for software engineering activities such as software testing. In the field of software testing, search-based test data generation refers to application of meta-heuristic optimization methods to generate test data that cover the code space of a program. Automatic test data generation that can cover all the paths of software is known as a major cha...
متن کاملOptimal Placement and Sizing of Distributed Generation Via an Improved Nondominated Sorting Genetic Algorithm II
The use of distributed generation units in distribution networks has attracted the attention of network managers due to its great benefits. In this research, the location and determination of the capacity of distributed generation (DG) units for different purposes has been studied simultaneously. The multi-objective functions in the optimization model are reducing system line losses; reducing v...
متن کاملA SAIWD-Based Approach for Simultaneous Reconfiguration and Optimal Siting and Sizing of Wind Turbines and DVR units in Distribution Systems
In this paper, a combination of simulated annealing (SA) and intelligent water drops (IWD) algorithm is used to solve the nonlinear/complex problem of simultaneous reconfiguration with optimal allocation (size and location) of wind turbine (WT) as a distributed generation (DG) and dynamic voltage restorer (DVR) as a distributed flexible AC transmission systems (DFACT) unit in a distribution sys...
متن کاملA Heuristic Approach to Distributed Generation Source Allocation for Electrical Power Distribution Systems
The recent trends in electrical power distribution system operation and management are aimed at improving system conditions in order to render good service to the customer. The reforms in distribution sector have given major scope for employment of distributed generation (DG) resources which will boost the system performance. This paper proposes a heuristic technique for allocation of distribut...
متن کاملModel Reduction of a Solid Oxide Fuel Cell (SOFC) for Control Purposes
Fuel cells belong to an avant-garde technology family for a wide variety of applications including micro-power, transportation power, stationary power for buildings and other distributed generation applications. The first objective of this contribution is to find a suitable reduced model of a Solid Oxide Fuel Cell (SOFC). The derived reduced model is then used to design a state estimator. I...
متن کامل